|
In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree ''p'' and ''q'' to form a composite cocycle of degree ''p'' + ''q''. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space ''X'' into a graded ring, ''H''∗(''X''), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944. ==Definition== In singular cohomology, the cup product is a construction giving a product on the graded cohomology ring ''H''∗(''X'') of a topological space ''X''. The construction starts with a product of cochains: if ''c''''p'' is a ''p''-cochain and ''d''''q'' is a ''q''-cochain, then : where σ is a singular (''p'' + ''q'') -simplex and is the canonical embedding of the simplex spanned by S into the -simplex whose vertices are indexed by . Informally, is the ''p''-th front face and is the ''q''-th back face of σ, respectively. The coboundary of the cup product of cocycles c''p'' and d''q'' is given by : The cup product of two cocycles is again a cocycle, and the product of a coboundary with a cocycle (in either order) is a coboundary. The cup product operation induces a bilinear operation on cohomology, : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「cup product」の詳細全文を読む スポンサード リンク
|